Space representation/Représentation spatiale in areas (2024-03-15)

The paradigm of algebraic constraint-based reasoning, embodied in the notion of a qualitative calculus, is studied within two alternative frameworks. One framework defines a qualitative calculus as "a non-associative relation algebra (NA) with a qualitative representation", the other as "an algebra generated by jointly exhaustive and pairwise disjoint (JEPD) relations". These frameworks provide complementary perspectives: the first is intensional (axiom-based), whereas the second one is extensional (based on semantic structures). However, each definition admits calculi that lie beyond the scope of the other. Thus, a qualitatively representable NA may be incomplete or non-atomic, whereas an algebra generated by JEPD relations may have non-involutive converse and no identity element. The divergence of definitions creates a confusion around the notion of a qualitative calculus and makes the "what" question posed by Ligozat and Renz actual once again. Here we define the relation-type qualitative calculus unifying the intensional and extensional approaches. By introducing the notions of weak identity, inference completeness and Q-homomorphism, we give equivalent definitions of qualitative calculi both intensionally and extensionally. We show that "algebras generated by JEPD relations" and "qualitatively representable NAs" are embedded into the class of relation-type qualitative algebras.

The diversity of presentation contexts (such as mobile phones, PDAs) for multimedia documents requires the adaptation of document specifications. In an earlier work, we have proposed a semantic adaptation framework for multimedia documents. This framework captures the semantics of the document composition and transforms the relations between multimedia objects according to adaptation constraints. In this paper, we show that capturing only the document composition for adaptation is unsatisfactory because it leads to a limited form of adapted solutions. Hence, we propose to guide adaptation with functional annotations, i.e., annotations related to multimedia objects which express a function in the document. In order to validate this framework, we propose to use RDF descriptions from SMIL documents and adapt such documents with our interactive adaptation prototype.

The multiplication of execution contexts for multimedia documents requires the adaptation of document specifications. This paper instantiates our previous semantic approach for multimedia document adaptation to the spatial dimension of multimedia documents. Our goal is to find a qualitative spatial representation that computes, in a reasonable time, a set of adaptation solutions close to the initial document satisfying a profile. The quality of an adaptation can be regarded in two respects: expressiveness of adaptation solutions and computation speed. In this context, we propose a new spatial representation sufficiently expressive to adapt multimedia documents faster.

Temporal and spatial phenomena can be seen at a more or less precise granularity, depending on the kind of perceivable details. As a consequence, the relationship between two objects may differ depending on the granularity considered. When merging representations of different granularity, this may raise problems. This paper presents general rules of granularity conversion in relation algebras. Granularity is considered independently of the specific relation algebra, by investigating operators for converting a representation from one granularity to another and presenting six constraints that they must satisfy. The constraints are shown to be independent and consistent and general results about the existence of such operators are provided. The constraints are used to generate the unique pairs of operators for converting qualitative temporal relationships (upward and downward) from one granularity to another. Then two fundamental constructors (product and weakening) are presented: they permit the generation of new qualitative systems (e.g. space algebra) from existing ones. They are shown to preserve most of the properties of granularity conversion operators.

Un formalisme de représentation de connaissance a pour but de permettre la modélisation d'un domaine particulier. Bien entendu, il existe divers langages de ce type et, au sein d'un même langage, divers modèles peuvent représenter un même domaine. Ce mémoire est consacré à l'étude des rapports entre de multiples représentations de la même situation. Il présente les travaux de l'auteur entre 1992 et 1998 en progressant de la notion d'approximation, qui fonde la représentation, vers la confrontation entre les diverses représentations. Tout d'abord la notion d'approximation au sein des représentations de connaissance par objets est mise en avant, en particulier en ce qui concerne l'ensemble des mécanismes tirant parti de la structure taxonomique (classification, catégorisation, inférence de taxonomie). À partir de la notion de système classificatoire qui permet de rendre compte de ces mécanismes de manière unique on montre comment un système de représentation de connaissance peut être construit. Le second chapitre introduit la possibilité de tirer parti de multiples taxonomies (sur le même ensemble d'objets) dans un système de représentation de connaissance. La multiplicité des représentations taxonomiques est alors introduite en tant que telle et justifiée. Ces multiples taxonomies sont replacées dans le cadre des systèmes classificatoires présentés auparavant. La notion de granularité, qui fait l'objet du troisième chapitre, concerne la comparaison de représentations diverses de la même situation sachant qu'elles ont un rapport très particulier entre elles puisqu'elles représentent la même situation sous différentes granularités. À la différence des autres chapitres, celui-ci n'est pas situé dans le cadre des représentations de connaissance par objets mais dans celui des algèbres de relations binaires utilisées pour représenter le temps et l'espace. Le quatrième chapitre, enfin, va vers la confrontation des différentes représentations de manière à en tirer le meilleur parti (obtenir une représentation consensuelle ou tout simplement une représentation consistante). Le but des travaux qui y sont présentés est de développer un système d'aide à la construction collaborative de bases de connaissance consensuelles. À cette fin, les utilisateurs veulent mettre dans une base commune (qui doit être consistante et consensuelle) le contenu de leurs bases de connaissance individuelles. Pour cela, deux problèmes particuliers sont traités : la conception d'un mécanisme de révision, pour les représentations de connaissance par objets, permettant aux utilisateurs de traiter les problèmes d'inconsistance et la conception d'un protocole de soumission de connaissance garantissant l'obtention d'une base commune consensuelle. Cet aperçu partiel des travaux possibles dans l'étude des relations entre représentations est limité, mais il met en évidence le caractère non impératif des solutions proposées qui s'appliquent bien au cadre où le modélisateur interagit avec le système de représentation.

Bien que, ou parce que, toutes les activités et toutes les perceptions humaines sont relatives au temps et à l'espace, ni les philosophes, ni les scientifiques n'en fournissent de définition unanime. Kant conçoit l'espace et le temps comme des conditions nécessaires de l'expérience humaine, qui ne porte jamais sur la réalité en soi, mais sur les phénomènes qu'on perçoit. Pour Pascal ce sont des choses premières qu'il est impossible, voire inutile de définir.
Le temps et l'espace sont des modalités fondamentale de l'existence et de la connaissance que l'on en a. A défaut de les définir, les hommes se sont attachés au cours des siècles à les mesurer. Ces approches métriques, numériques, ont été l'enjeu de travaux considérables pour gagner en précision. Pour autant l'absence de précision dans la localisation, n'a jamais empêché de constater - qualitativement - que le temps et l'espace sont source de relations entre les objets et les événements.
Les représentations de ces approches qualitatives n'ont reçu de formalisation mathématique que vers la fin du siècle dernier, où Henri Poincaré fonde les bases des travaux ultérieurs sur la relativité comme sur la topologie.
Ces approches qualitatives focalisent le travail du groupe Kanéou, en termes de représentation (logique, modèles, langue naturelle), de traitement (CSP, multi-agents) et d'application (diagnostic, aménagement, systèmes d'information géographique).

Any phenomenon can be seen under a more or less precise granularity, depending on the kind of details which are perceivable. This can be applied to time and space. A characteristic of abstract spaces such as the one used for representing time is their granularity independence, i.e. the fact that they have the same structure under different granularities. So, time "places" and their relationships can be seen under different granularities and they still behave like time places and relationships under each granularity. However, they do not remain exactly the same time places and relationships. Here is presented a pair of operators for converting (upward and downward) qualitative time relationships from one granularity to another. These operators are the only ones to satisfy a set of six constraints which characterize granularity changes. They are also shown to be useful for spatial relationships.

Afin de représenter le temps sous plusieurs niveaux de détail, une représentation temporelle granulaire est proposée. Une telle représentation dispose les entités temporelles dans différents espaces organisés hiérarchiquement et nommés granularités. Elle conduit à conserver la représentation symbolique du temps et à simplifier la représentation numérique. Par contre, elle nécessite la définition d'opérateurs de conversion des représentations entre deux granularités afin de pouvoir utiliser une même entité temporelle sous différentes granularités.
Les propriétés que doivent respecter ces opérateurs afin de conserver les interprétations classiques de ces représentations sont exposées et des opérateurs de conversion symboliques et numériques sont proposés. Sous l'aspect symbolique, les opérateurs sont compatibles avec la représentation des relations temporelles sous forme d'algèbre de points et d'intervalles. En ce qui concerne la conversion numérique, certaines contraintes doivent être ajoutées afin de disposer des propriétés escomptées. Enfin, des possibilités d'utilisation de la latitude laissée par la définition des opérateurs sont discutées et l'extension de la représentation granulaire à d'autres espaces est explorée.